﻿
/* Main stuff */

body
{
	font-family: Serif;
}

ul
{
	list-style-type: square;
	padding-left: 2em;
}

pre
{
	padding-top: 1ex;
	padding-bottom: 1ex;
	margin-left: 1.5em;
	padding-left: 1ex;
	border-left: dotted 1px black;
}

td
{
	vertical-align: top;
}

.when
{
	font-size: x-small;
}

.nofirefox
{
	display: none;
}


/* No navigation */

.nav
{
	display: none;
}


/* No TOC */

.contents
{
	display: none;
}


/* Footer */

div.footer
{
	margin-top: 4em;
	font-size: x-small;
}


/* Java */

span.j-bkg /* background */
	{
	}

span.j-lin /* line numbers */
	{
	}

span.j-blk /* block comment */
	{
	font-style: italic;
	color: Gray;
	}

span.j-cmt /* line comment */
	{
	font-style: italic;
	color: Gray;
	}

span.j-key /* keyword */
	{
	font-weight:bold;
	color: maroon;
	}

span.j-str /* string constants */
	{
	font-style: italic;
	color: navy;
	}

span.j-chr /* char constants */
	{
	font-style: italic;
	color: navy;
	}

span.j-num /* number constants */
	{
	}

span.j-sym /* symbols, punctuation */
	{
	}

span.j-typ /* primitive types */
	{
	font-weight:bold;
	color: maroon;
	}

span.j-def /* default; all the rest */
	{
	}

span.j-jdoc /* javadoc */
	{
	font-style: italic;
	color: gray;
	}

span.j-jdoc-key /* javadoc keyword */
	{
	font-style: italic;
	font-weight: bold;
	color: gray;
	}

span.j-jdoc-html /* javadoc html tag */
	{
	font-style: italic;
	color: gray;
	}

span.j-jdoc-link /* javadoc link */
	{
	font-style: italic;
	color: gray;
	}

span.j-undef /* undefined */
	{
	}

span.j-hl /* highlight */
	{
	}
